Models with second order properties V: A general principle
نویسندگان
چکیده
منابع مشابه
Models with Second Order Properties V: A General Principle
We present a general framework for carrying out the constructions in [2-10] and others of the same type. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of ♦. §1 contain...
متن کاملSecond order fluid models with general boundary behaviour
A crucial property of second order fluid models is the behaviour of the fluid level at the boundaries. Two cases have been considered: the reflecting and the absorbing boundary. This paper presents an approach for the stationary analysis of second order fluid models with any combination of boundary behaviours. The proposed approach is based on the solution of a linear system whose coefficients ...
متن کاملAveraging principle for second-order approximation of heterogeneous models with homogeneous models.
Typically, models with a heterogeneous property are considerably harder to analyze than the corresponding homogeneous models, in which the heterogeneous property is replaced by its average value. In this study we show that any outcome of a heterogeneous model that satisfies the two properties of differentiability and symmetry is O(ε(2)) equivalent to the outcome of the corresponding homogeneous...
متن کاملSecond order inductive logic and Wilmers' principle
We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.
متن کاملSolving A Fractional Program with Second Order Cone Constraint
We consider a fractional program with both linear and quadratic equation in numerator and denominator having second order cone (SOC) constraints. With a suitable change of variable, we transform the problem into a second order cone programming (SOCP) problem. For the quadratic fractional case, using a relaxation, the problem is reduced to a semi-definite optimization (SDO) program. The p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1993
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90033-a